Functional specification - PDFSEARCH.IO - Document Search Engine

Functional specification
Results: 264

#	Item
251	Functional Programming and Specification Lecture Note 1, 4 February 2011 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-02-03 19:33:18 Procedural programming languages Functional languages Evaluation strategy ML ALGOL 68 Lazy evaluation Function Standard ML Software engineering Programming language theory Computing
252	The Scala Language Specification Version 2.8 Add to Reading List Source URL: www.scala-lang.org Language: English - Date: 2013-12-03 20:01:36 Type theory Data types Functional programming Functional languages Java platform Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
253	This is an extract from: A Source Book from The Open Group The Authorized Guide to the Single UNIX Specification, Version 3 Add to Reading List Source URL: www.unix.org Language: English - Date: 2006-08-25 10:51:13 Functional programming Monad Computing
254	A Functional Specification of Effects Wouter Swierstra Add to Reading List Source URL: etheses.nottingham.ac.uk Language: English - Date: 2009-06-04 05:04:25 Logic in computer science Type theory Functional languages Adjoint functors Programming paradigms Monad Functional programming Haskell Denotational semantics Software engineering Computing Theoretical computer science
255	An Early Look at XQuery API for Java™ (XQJ) Add to Reading List Source URL: www.sigmod.org Language: English - Date: 2012-08-10 21:10:45 Query languages Java specification requests Functional languages SQL XQuery XML database SQL/XML XPath FLWOR Computing Data management XML
256	The Scala Language Specification Version 2.8 Add to Reading List Source URL: www.scala-lang.org Language: English - Date: 2013-10-20 20:02:23 Type theory Data types Functional programming Functional languages Java platform Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
257	Functional Specification of the OpenPGP application Add to Reading List Source URL: g10code.com Language: English - Date: 2011-11-04 13:30:01 Cryptographic software Computer security Computing Privacy software Cross-platform software GNU Privacy Guard ISO/IEC Answer to reset Communications protocol Smart cards Cryptography PGP
258	Virtual Functional Bus V2.2.0 R4.0 Rev 3 Add to Reading List Source URL: www.autosar.org Language: English - Date: 2012-05-09 19:00:54 Systems engineering Design Technology Specification EAST-ADL Software architecture Automotive software AUTOSAR
259	BitC[removed]Transitional) Language Specification† Version 0.11+ Add to Reading List Source URL: www.bitc-lang.org Language: English - Date: 2013-10-17 10:57:31 Data types Procedural programming languages Functional languages BitC C++ Source code C String literal Bracket Software engineering Computing Computer programming
260	PDF Document Add to Reading List Source URL: hydramiddleware.eu Language: English - Date: 2013-05-10 03:05:23 Systems engineering Software engineering Requirement Software Requirements Specification Functional requirement Non-functional requirement JIRA Software development process Systems engineering process Software development Software requirements Software

UPDATE